quasi discrete space

拟离散空间